axiomatic characterization

См. также в других словарях:

• Exterior algebra — In mathematics, the exterior product or wedge product of vectors is an algebraic construction generalizing certain features of the cross product to higher dimensions. Like the cross product, and the scalar triple product, the exterior product of… …   Wikipedia

• Günther Ludwig (Physiker) — Günther Ludwig 1984 Günther Ludwig (* 12. Januar 1918 bei Eberswalde; † 8. Juni 2007 in Marburg) war ein deutscher theoretischer Physiker. Ludwig studierte an der Universität Berlin Mathematik und Physik und wurde 1943 mit einer Arbeit üb …   Deutsch Wikipedia

• Projective space — In mathematics a projective space is a set of elements constructed from a vector space such that a distinct element of the projective space consists of all non zero vectors which are equal up to a multiplication by a non zero scalar. A formal… …   Wikipedia

• Schwartz set — In voting systems, the Schwartz set is the union of all Schwartz set components. A Schwartz set component is any non empty set S of candidates such that # Every candidate inside the set S is pairwise unbeaten by any candidate outside S ; and # No …   Wikipedia

• Proximity space — In topology, a proximity space is an axiomatization of notions of nearness that hold set to set, as opposed to the better known point to set notions that characterize topological spaces.The concept was described by Frigyes Riesz in 1908 and… …   Wikipedia

• Steenrod algebra — In algebraic topology, a branch of mathematics, the Steenrod algebra is a structure occurring in the theory of cohomology operations. It is an object of great importance, most especially to homotopy theorists. More precisely, for a given prime… …   Wikipedia

• History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …   Wikipedia

• History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …   Wikipedia

• logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… …   Universalium

• Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …   Wikipedia

• mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …   Universalium